Nuprl Definition : randm 11,40
randm(i; j) == i 
latex

origin